Conditional reasoning in logic programming
نویسندگان
چکیده
منابع مشابه
Conditional probabilistic reasoning without conditional logic
Imaging is a class of non-Bayesian methods for the revision of probability density functions originally proposed as a semantics for conditional logic. Two of these revision functions, Standard Imaging and General Imaging, have successfully been applied to modelling information retrieval (IR). Due to the problematic nature of a“direct” implementation of Imaging revision functions, we propose the...
متن کاملConditional Reasoning with Subjective Logic
Conditional inference plays a central role in logical and Bayesian reasoning, and is used in a wide range of applications. It basically consists of expressing conditional relationship between parent and child propositions, and then to combine those conditionals with evidence about the parent propositions in order to infer conclusions about the child propositions. While conditional reasoning is ...
متن کاملDiagrammatic reasoning in logic programming
A refutation tree is a standard two-dimensional representation of resolution derivations. Given a logic program, a computation rule and a goal, diierent resolution derivations result from selecting diierent matching clauses in the program. These derivations can be visualized as separate branches in the refutation tree. This process can also be reversed: given an refutation tree where leaf nodes...
متن کاملPrioritized Reasoning in Logic Programming
This work addresses the issue of prioritized reasoning in the context of logic programming. The case of preference conditions involving atoms is considered and a refinement of the comparison method of the ASO semantics is presented. The paper introduces the concept of “choice”, as a set of preference rules describing common choice options in different contexts and proposes a new semantics that ...
متن کاملOptimizing Conditional Logic Reasoning within CoLoSS
The generic modal reasoner CoLoSS covers a wide variety of logics ranging from graded and probabilistic modal logic to coalition logic and conditional logics, being based on a broadly applicable coalgebraic semantics and an ensuing general treatment of modal sequent and tableau calculi. Here, we present research into optimisation of the reasoning strategies employed in CoLoSS. Specifically, we ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic Programming
سال: 2000
ISSN: 0743-1066
DOI: 10.1016/s0743-1066(99)00072-2